19.66/19.77	unsat
