30.55/30.67	unsat
