5.67/8.61	unsat
