42.38/43.84	unsat
