7.46/7.93	unsat
