2.48/2.77	unsat
