19.95/20.00	unsat
