40.38/42.84	unsat
