19.50/21.73	unsat
