40.22/40.77	unsat
