21.54/21.67	unsat
