18.95/19.31	unsat
