21.00/21.67	unsat
