19.61/21.23	unsat
