18.99/19.91	unsat
