4.02/4.94	unsat
