18.99/19.59	unsat
