19.05/19.77	unsat
