16.14/17.93	unsat
