29.05/30.67	unsat
