8.67/10.05	unsat
