18.45/19.99	unsat
