6.07/8.32	unsat
