16.95/19.93	unsat
