40.62/42.69	unsat
