29.46/30.94	unsat
