2.41/4.05	unsat
