29.27/30.61	unsat
