19.27/21.77	unsat
