39.54/42.26	unsat
