19.69/19.77	unsat
