18.38/19.28	unsat
