27.38/27.43	unsat
