2.48/4.01	unsat
