16.98/19.95	unsat
