1.49/4.01	unsat
