17.14/18.85	unsat
