7.98/9.94	unsat
