19.38/19.91	unsat
