17.95/19.97	unsat
