9.07/11.94	unsat
