1.48/4.12	unsat
