19.97/20.00	unsat
