4.07/5.94	unsat
