6.18/8.32	unsat
