6.90/8.32	unsat
