19.67/21.31	unsat
