18.95/19.58	unsat
