2.48/3.89	unsat
