71.38/71.43	unsat
