4.04/4.44	unsat
