19.85/19.99	unsat
