30.60/33.61	unsat
