40.07/40.32	unsat
