17.66/19.97	unsat
