19.83/19.97	unsat
