40.94/42.36	unsat
