17.95/19.99	unsat
