19.25/19.99	unsat
