1.48/3.44	unsat
