26.38/27.69	unsat
