19.81/19.87	unsat
