21.34/21.67	unsat
