29.55/30.13	unsat
