42.38/42.50	unsat
