1.48/4.05	unsat
