5.77/6.05	unsat
