4.41/7.05	unsat
