7.27/7.93	unsat
