16.37/17.93	unsat
