18.26/19.99	unsat
