4.07/4.94	unsat
