27.38/27.47	unsat
