5.67/6.55	unsat
