5.67/6.13	unsat
