18.98/19.02	unsat
