18.25/19.55	unsat
