38.21/40.84	unsat
