5.67/6.78	unsat
