16.95/19.90	unsat
