19.67/21.77	unsat
