4.68/5.05	unsat
