6.17/8.32	unsat
