17.98/19.85	unsat
