2.48/3.61	unsat
