19.63/19.77	unsat
