7.28/9.94	unsat
