17.38/20.35	unsat
