5.67/9.45	unsat
