5.61/8.32	unsat
