2.34/6.05	unsat
